-
1 logic equation
Большой англо-русский и русско-английский словарь > logic equation
-
2 logic equation
Математика: логическое уравнение -
3 logic equation
-
4 logic equation
The New English-Russian Dictionary of Radio-electronics > logic equation
-
5 logic equation
мат. -
6 logic-equation generator
Вычислительная техника: генератор логики уравненийУниверсальный англо-русский словарь > logic-equation generator
-
7 logic-equation generator
English-Russian information technology > logic-equation generator
-
8 equation of the interlocking
блокировочная зависимость
-
[Интент]Устройства (схемы) автоматической блокировки, как была сказано, должны предотвратить неправильный пуск и останов аппаратов и машин, исключить, в частности, возможность проведения последующих операций, если не выполнена предыдущая. Например, в схемах управления реверсивными электродвигателями предусматривается блокировочная зависимость, исключающая возможность одновременного срабатывания обоих магнитных пускателей (для избежания короткого замыкания фаз).
[А. Н. Павлов. Автоматизация технологических процессов. Конспект лекций для студентов специальности 200106 «Информационно-измерительная техника и технологии». Бийск. Издательство Алтайского государственного технического университета им. И.И. Ползунова 2010]Механизмы поточно-транспортной системы сблокированы друг с другом. Это обусловлено поточностью производства, при которой материал последовательно и непрерывно поступает от одного механизма к другому.
Блокировочная зависимость предусматривает:
а) последовательность пуска механизмов в направлении, обратном технологическому потоку материалов;
б) автоматический останов всех предшествующих по потоку механизмов при аварийном останове какого-либо механизма, необходимого для того, чтобы исключить завал оастновленного механизма транспортируемым материалом.
[http://www.technonicol-moscow.ru/upravlenie/avtomatizaciya07.php]A switch command will be executed if the optional control enable has been issued and the interlock conditions are met.
The interlock conditions are defined in the interlocking logic for each switching unit within the bay that is subject to control actions and for each control direction (Open/Close).
[Schneider Electric]Команда включения или отключения выполняется после подачи разрешающего сигнала управления и выполнения блокировочных зависимостей.
Блокировочные зависимости определяют отдельно для каждого коммутационного аппарата ячейки и отдельно для операции включения и отключения.
[Перевод Интент]Interlock conditions are defined in the interlocking logic by Boolean equations.
[Schneider Electric]Блокировочные зависимости определяют логику блокирования, записываемую с помощью булевых выражений.
[Перевод Интент]If the interlock condition is to be modified, this is possible by modifying the corresponding Boolean equation in the interlocking logic or by defining a new interlocking logic equation.
[Schneider Electric]Изменить блокировочную зависимость можно путем определения нового или изменения существующего булева выражения данной блокировочной зависимости.
[Перевод Интент]Тематики
- автоматизация, основные понятия
- релейная защита
EN
Англо-русский словарь нормативно-технической терминологии > equation of the interlocking
-
9 equation
- approximate equationequation of time — уравнение для определения разности между кажущимся и средним солнечным временем
- behavioral equation
- Benjamen-Ono equation
- Benny-Roskes-Davey-Stewartson equation
- Bethe-Salpeter equation
- biquadratic equation
- Boltzmann equation
- Boolean equation
- Boussinesq equation
- branch equation
- canonical equation
- characteristic equation
- charge-transport equation
- Child-Langmuir equation
- Child-Langmuir-Schottky equation
- chiral field equation
- chord equation
- class equation
- color equation
- consistent equations
- constraint equation
- continuity equation
- cubic equation
- cut-set equation
- design equation
- difference equation
- differential equation
- differential equation of n-th order
- diffusion equation
- diode equation
- Diophantine equations
- Dirac equation
- discretized equation
- drift equation
- Duffing equation
- eigenvalue equation
- eikonal equation
- electromagnetic field equations
- elliptic equation
- envelope equation
- equilibrium equation
- estimator-defining equation
- estimator-generating equation
- Euler equation
- evolutionary equation
- exactly identified equation
- exactly integrated equation
- finite-difference equation
- fluid equation
- Fokker-Planck equation
- Fredholm integral equation
- free-space radar equation
- function equation
- fuzzy equation
- Gelfand-Levitan equation
- Hill equation
- Hirota equation
- homogeneous equation
- hyperbolic equation
- identical equation
- inconsistent equations
- integer equation
- integrable equation
- integral equation
- integral equation of n-th kind
- integro-differential equation
- interpolation equation
- Josephson equation
- Kadomtsev-Petviashvili equation
- kinetic equation
- Korteweg-deVries equation
- Kuramoto-Sivashinsky equation
- Landau-Lifschitz equation
- Langevine's equation
- Laplace equation
- Lax equation
- likelihood equations
- linear equation
- linearized equation
- logic equation
- logistic equation
- Londons' equations
- Lorentz equation
- Lorentz force equation
- Lorentz equation
- Lorentz-Abragam force equation
- Lotka-Volterra equation
- mass-energy equation
- Mathieu equation
- matrix equation
- Maxwell's equations
- micromagnetic equation
- moment equations
- motion equation
- non-integrable equation
- nonlinear equation
- nonlinear Schrödinger equation
- normal equations
- numerical equation
- one-fluid equation
- operator equation
- over-identified equation
- parabolic equation
- parametric equation
- partial differential equation
- path equation
- Poisson's equation
- quadratic equation
- quartic equation
- quintic equation
- radar range equation
- Rayleigh equation
- recurrence equations
- register-transfer equation
- regression equation
- resolvent equation
- response equation
- Richardson equation
- scalar equation
- Schrödinger equation
- secular equation
- Sellmeier equation
- simultaneous equations
- sin-Gordon equation
- solvable equation
- stationary Schrödinger equation
- steady-state equation
- syntax equation
- telegrapher's equation
- tensor equation
- three-halves power equation
- transient equation
- transport equation
- trend equation
- trigonometric equation
- unsolvable equation
- unstable wave envelope equation
- van der Pol equation
- variational equation
- vector equation
- wave equation
- Yule-Walker equations
- Zakharov equation -
10 equation
- approximate equationequation of time — уравнение для определения разности между кажущимся и средним солнечным временем
- behavioral equation
- Benjamen-Ono equation
- Benny-Roskes-Davey-Stewartson equation
- Bethe-Salpeter equation
- biquadratic equation
- Boltzmann equation
- Boolean equation
- Boussinesq equation
- branch equation
- canonical equation
- characteristic equation
- charge-transport equation
- Child-Langmuir equation
- Child-Langmuir-Schottky equation
- chiral field equation
- chord equation
- class equation
- color equation
- consistent equations
- constraint equation
- continuity equation
- cubic equation
- cut-set equation
- design equation
- difference equation
- differential equation of n-th order
- differential equation
- diffusion equation
- diode equation
- Diophantine equations
- Dirac equation
- discretized equation
- drift equation
- Duffing equation
- eigenvalue equation
- eikonal equation
- electromagnetic field equations
- elliptic equation
- envelope equation
- equilibrium equation
- estimator-defining equation
- estimator-generating equation
- Euler equation
- evolutionary equation
- exactly identified equation
- exactly integrated equation
- finite-difference equation
- fluid equation
- Fokker-Planck equation
- Fredholm integral equation
- free-space radar equation
- function equation
- fuzzy equation
- Gelfand-Levitan equation
- Hill equation
- Hirota equation
- homogeneous equation
- hyperbolic equation
- identical equation
- inconsistent equations
- integer equation
- integrable equation
- integral equation of n-th kind
- integral equation
- integro-differential equation
- interpolation equation
- Josephson equation
- Kadomtsev-Petviashvili equation
- kinetic equation
- Korteweg-deVries equation
- Kuramoto-Sivashinsky equation
- Landau-Lifschitz equation
- Langevine's equation
- Laplace equation
- Lax equation
- likelihood equations
- linear equation
- linearized equation
- logic equation
- logistic equation
- Londons' equations
- Lorentz equation
- Lorentz force equation
- Lorentz-Abragam force equation
- Lotka-Volterra equation
- mass-energy equation
- Mathieu equation
- matrix equation
- Maxwell's equations
- micromagnetic equation
- moment equations
- motion equation
- non-integrable equation
- nonlinear equation
- nonlinear Schrödinger equation
- normal equations
- numerical equation
- one-fluid equation
- operator equation
- over-identified equation
- parabolic equation
- parametric equation
- partial differential equation
- path equation
- Poisson's equation
- quadratic equation
- quartic equation
- quintic equation
- radar range equation
- Rayleigh equation
- recurrence equations
- register-transfer equation
- regression equation
- resolvent equation
- response equation
- Richardson equation
- scalar equation
- Schrödinger equation
- secular equation
- Sellmeier equation
- simultaneous equations
- sin-Gordon equation
- solvable equation
- stationary Schrödinger equation
- steady-state equation
- syntax equation
- telegrapher's equation
- tensor equation
- three-halves power equation
- transient equation
- transport equation
- trend equation
- trigonometric equation
- unsolvable equation
- unstable wave envelope equation
- van der Pol equation
- variational equation
- vector equation
- wave equation
- Yule-Walker equations
- Zakharov equationThe New English-Russian Dictionary of Radio-electronics > equation
-
11 logic operator
логический оператор
—
[ http://www.iks-media.ru/glossary/index.html?glossid=2400324]Параллельные тексты EN-RU
Other operators (NOT, OR, AND, NOT OR and NOT AND) are available in the LOGIC function group for linking the selected list items.
In this way binary signals and binary input signals can be processed in a Boolean equation tailored to meet user requirements.
[Schneider Electric]В функциональной группе ЛОГИК имеются и другие логические операторы (НЕ, ИЛИ, И, НЕ-ИЛИ и НЕ-И) для связи элементов, выбранных из списка.
Таким образом, используя логические операторы можно составлять Булевы выражения из внутренних двоичных сигналов и входных двоичных сигналов.
[Перевод Интент]Тематики
- Булева алгебра, элементы цифровой техники
EN
Англо-русский словарь нормативно-технической терминологии > logic operator
-
12 interlock equation
блокировочная зависимость
-
[Интент]Устройства (схемы) автоматической блокировки, как была сказано, должны предотвратить неправильный пуск и останов аппаратов и машин, исключить, в частности, возможность проведения последующих операций, если не выполнена предыдущая. Например, в схемах управления реверсивными электродвигателями предусматривается блокировочная зависимость, исключающая возможность одновременного срабатывания обоих магнитных пускателей (для избежания короткого замыкания фаз).
[А. Н. Павлов. Автоматизация технологических процессов. Конспект лекций для студентов специальности 200106 «Информационно-измерительная техника и технологии». Бийск. Издательство Алтайского государственного технического университета им. И.И. Ползунова 2010]Механизмы поточно-транспортной системы сблокированы друг с другом. Это обусловлено поточностью производства, при которой материал последовательно и непрерывно поступает от одного механизма к другому.
Блокировочная зависимость предусматривает:
а) последовательность пуска механизмов в направлении, обратном технологическому потоку материалов;
б) автоматический останов всех предшествующих по потоку механизмов при аварийном останове какого-либо механизма, необходимого для того, чтобы исключить завал оастновленного механизма транспортируемым материалом.
[http://www.technonicol-moscow.ru/upravlenie/avtomatizaciya07.php]A switch command will be executed if the optional control enable has been issued and the interlock conditions are met.
The interlock conditions are defined in the interlocking logic for each switching unit within the bay that is subject to control actions and for each control direction (Open/Close).
[Schneider Electric]Команда включения или отключения выполняется после подачи разрешающего сигнала управления и выполнения блокировочных зависимостей.
Блокировочные зависимости определяют отдельно для каждого коммутационного аппарата ячейки и отдельно для операции включения и отключения.
[Перевод Интент]Interlock conditions are defined in the interlocking logic by Boolean equations.
[Schneider Electric]Блокировочные зависимости определяют логику блокирования, записываемую с помощью булевых выражений.
[Перевод Интент]If the interlock condition is to be modified, this is possible by modifying the corresponding Boolean equation in the interlocking logic or by defining a new interlocking logic equation.
[Schneider Electric]Изменить блокировочную зависимость можно путем определения нового или изменения существующего булева выражения данной блокировочной зависимости.
[Перевод Интент]Тематики
- автоматизация, основные понятия
- релейная защита
EN
логическое выражение блокировочной зависимости
-
[Интент]Параллельные тексты EN-RU
The check of bay or station interlock equations can be cancelled for all electrically controllable switchgear units within a bay.
[Schneider Electric]Проверку логических выражений блокировочных зависимостей ячейки или подстанции можно отменить для всех электрически управляемых коммутационных аппаратов, входящих в состав ячейки.
[Перевод Интент]Тематики
EN
Англо-русский словарь нормативно-технической терминологии > interlock equation
-
13 equations of the interlocking logic
блокировочная зависимость
-
[Интент]Устройства (схемы) автоматической блокировки, как была сказано, должны предотвратить неправильный пуск и останов аппаратов и машин, исключить, в частности, возможность проведения последующих операций, если не выполнена предыдущая. Например, в схемах управления реверсивными электродвигателями предусматривается блокировочная зависимость, исключающая возможность одновременного срабатывания обоих магнитных пускателей (для избежания короткого замыкания фаз).
[А. Н. Павлов. Автоматизация технологических процессов. Конспект лекций для студентов специальности 200106 «Информационно-измерительная техника и технологии». Бийск. Издательство Алтайского государственного технического университета им. И.И. Ползунова 2010]Механизмы поточно-транспортной системы сблокированы друг с другом. Это обусловлено поточностью производства, при которой материал последовательно и непрерывно поступает от одного механизма к другому.
Блокировочная зависимость предусматривает:
а) последовательность пуска механизмов в направлении, обратном технологическому потоку материалов;
б) автоматический останов всех предшествующих по потоку механизмов при аварийном останове какого-либо механизма, необходимого для того, чтобы исключить завал оастновленного механизма транспортируемым материалом.
[http://www.technonicol-moscow.ru/upravlenie/avtomatizaciya07.php]A switch command will be executed if the optional control enable has been issued and the interlock conditions are met.
The interlock conditions are defined in the interlocking logic for each switching unit within the bay that is subject to control actions and for each control direction (Open/Close).
[Schneider Electric]Команда включения или отключения выполняется после подачи разрешающего сигнала управления и выполнения блокировочных зависимостей.
Блокировочные зависимости определяют отдельно для каждого коммутационного аппарата ячейки и отдельно для операции включения и отключения.
[Перевод Интент]Interlock conditions are defined in the interlocking logic by Boolean equations.
[Schneider Electric]Блокировочные зависимости определяют логику блокирования, записываемую с помощью булевых выражений.
[Перевод Интент]If the interlock condition is to be modified, this is possible by modifying the corresponding Boolean equation in the interlocking logic or by defining a new interlocking logic equation.
[Schneider Electric]Изменить блокировочную зависимость можно путем определения нового или изменения существующего булева выражения данной блокировочной зависимости.
[Перевод Интент]Тематики
- автоматизация, основные понятия
- релейная защита
EN
Англо-русский словарь нормативно-технической терминологии > equations of the interlocking logic
-
14 interlocking logic
блокировочная зависимость
-
[Интент]Устройства (схемы) автоматической блокировки, как была сказано, должны предотвратить неправильный пуск и останов аппаратов и машин, исключить, в частности, возможность проведения последующих операций, если не выполнена предыдущая. Например, в схемах управления реверсивными электродвигателями предусматривается блокировочная зависимость, исключающая возможность одновременного срабатывания обоих магнитных пускателей (для избежания короткого замыкания фаз).
[А. Н. Павлов. Автоматизация технологических процессов. Конспект лекций для студентов специальности 200106 «Информационно-измерительная техника и технологии». Бийск. Издательство Алтайского государственного технического университета им. И.И. Ползунова 2010]Механизмы поточно-транспортной системы сблокированы друг с другом. Это обусловлено поточностью производства, при которой материал последовательно и непрерывно поступает от одного механизма к другому.
Блокировочная зависимость предусматривает:
а) последовательность пуска механизмов в направлении, обратном технологическому потоку материалов;
б) автоматический останов всех предшествующих по потоку механизмов при аварийном останове какого-либо механизма, необходимого для того, чтобы исключить завал оастновленного механизма транспортируемым материалом.
[http://www.technonicol-moscow.ru/upravlenie/avtomatizaciya07.php]A switch command will be executed if the optional control enable has been issued and the interlock conditions are met.
The interlock conditions are defined in the interlocking logic for each switching unit within the bay that is subject to control actions and for each control direction (Open/Close).
[Schneider Electric]Команда включения или отключения выполняется после подачи разрешающего сигнала управления и выполнения блокировочных зависимостей.
Блокировочные зависимости определяют отдельно для каждого коммутационного аппарата ячейки и отдельно для операции включения и отключения.
[Перевод Интент]Interlock conditions are defined in the interlocking logic by Boolean equations.
[Schneider Electric]Блокировочные зависимости определяют логику блокирования, записываемую с помощью булевых выражений.
[Перевод Интент]If the interlock condition is to be modified, this is possible by modifying the corresponding Boolean equation in the interlocking logic or by defining a new interlocking logic equation.
[Schneider Electric]Изменить блокировочную зависимость можно путем определения нового или изменения существующего булева выражения данной блокировочной зависимости.
[Перевод Интент]Тематики
- автоматизация, основные понятия
- релейная защита
EN
Англо-русский словарь нормативно-технической терминологии > interlocking logic
-
15 interlock condition
блокировочная зависимость
-
[Интент]Устройства (схемы) автоматической блокировки, как была сказано, должны предотвратить неправильный пуск и останов аппаратов и машин, исключить, в частности, возможность проведения последующих операций, если не выполнена предыдущая. Например, в схемах управления реверсивными электродвигателями предусматривается блокировочная зависимость, исключающая возможность одновременного срабатывания обоих магнитных пускателей (для избежания короткого замыкания фаз).
[А. Н. Павлов. Автоматизация технологических процессов. Конспект лекций для студентов специальности 200106 «Информационно-измерительная техника и технологии». Бийск. Издательство Алтайского государственного технического университета им. И.И. Ползунова 2010]Механизмы поточно-транспортной системы сблокированы друг с другом. Это обусловлено поточностью производства, при которой материал последовательно и непрерывно поступает от одного механизма к другому.
Блокировочная зависимость предусматривает:
а) последовательность пуска механизмов в направлении, обратном технологическому потоку материалов;
б) автоматический останов всех предшествующих по потоку механизмов при аварийном останове какого-либо механизма, необходимого для того, чтобы исключить завал оастновленного механизма транспортируемым материалом.
[http://www.technonicol-moscow.ru/upravlenie/avtomatizaciya07.php]A switch command will be executed if the optional control enable has been issued and the interlock conditions are met.
The interlock conditions are defined in the interlocking logic for each switching unit within the bay that is subject to control actions and for each control direction (Open/Close).
[Schneider Electric]Команда включения или отключения выполняется после подачи разрешающего сигнала управления и выполнения блокировочных зависимостей.
Блокировочные зависимости определяют отдельно для каждого коммутационного аппарата ячейки и отдельно для операции включения и отключения.
[Перевод Интент]Interlock conditions are defined in the interlocking logic by Boolean equations.
[Schneider Electric]Блокировочные зависимости определяют логику блокирования, записываемую с помощью булевых выражений.
[Перевод Интент]If the interlock condition is to be modified, this is possible by modifying the corresponding Boolean equation in the interlocking logic or by defining a new interlocking logic equation.
[Schneider Electric]Изменить блокировочную зависимость можно путем определения нового или изменения существующего булева выражения данной блокировочной зависимости.
[Перевод Интент]Тематики
- автоматизация, основные понятия
- релейная защита
EN
Англо-русский словарь нормативно-технической терминологии > interlock condition
-
16 interlocking condition
блокировочная зависимость
-
[Интент]Устройства (схемы) автоматической блокировки, как была сказано, должны предотвратить неправильный пуск и останов аппаратов и машин, исключить, в частности, возможность проведения последующих операций, если не выполнена предыдущая. Например, в схемах управления реверсивными электродвигателями предусматривается блокировочная зависимость, исключающая возможность одновременного срабатывания обоих магнитных пускателей (для избежания короткого замыкания фаз).
[А. Н. Павлов. Автоматизация технологических процессов. Конспект лекций для студентов специальности 200106 «Информационно-измерительная техника и технологии». Бийск. Издательство Алтайского государственного технического университета им. И.И. Ползунова 2010]Механизмы поточно-транспортной системы сблокированы друг с другом. Это обусловлено поточностью производства, при которой материал последовательно и непрерывно поступает от одного механизма к другому.
Блокировочная зависимость предусматривает:
а) последовательность пуска механизмов в направлении, обратном технологическому потоку материалов;
б) автоматический останов всех предшествующих по потоку механизмов при аварийном останове какого-либо механизма, необходимого для того, чтобы исключить завал оастновленного механизма транспортируемым материалом.
[http://www.technonicol-moscow.ru/upravlenie/avtomatizaciya07.php]A switch command will be executed if the optional control enable has been issued and the interlock conditions are met.
The interlock conditions are defined in the interlocking logic for each switching unit within the bay that is subject to control actions and for each control direction (Open/Close).
[Schneider Electric]Команда включения или отключения выполняется после подачи разрешающего сигнала управления и выполнения блокировочных зависимостей.
Блокировочные зависимости определяют отдельно для каждого коммутационного аппарата ячейки и отдельно для операции включения и отключения.
[Перевод Интент]Interlock conditions are defined in the interlocking logic by Boolean equations.
[Schneider Electric]Блокировочные зависимости определяют логику блокирования, записываемую с помощью булевых выражений.
[Перевод Интент]If the interlock condition is to be modified, this is possible by modifying the corresponding Boolean equation in the interlocking logic or by defining a new interlocking logic equation.
[Schneider Electric]Изменить блокировочную зависимость можно путем определения нового или изменения существующего булева выражения данной блокировочной зависимости.
[Перевод Интент]Тематики
- автоматизация, основные понятия
- релейная защита
EN
Англо-русский словарь нормативно-технической терминологии > interlocking condition
-
17 system
1) система || системный3) вчт операционная система; программа-супервизор5) вчт большая программа6) метод; способ; алгоритм•system halted — "система остановлена" ( экранное сообщение об остановке компьютера при наличии серьёзной ошибки)
- CPsystem- H-system- h-system- hydrogen-air/lead battery hybrid system- Ksystem- Lsystem- L*a*b* system- master/slave computer system- p-system- y-system- Δ-system -
18 Boolean algebra
булева алгебра, алгебра логикинабор операций над двузначными логическими переменными, широко используемый в современных компьютерах. Названа в честь её создателя английского математика Джорджа Буля (George Boole, 1815-1864 гг.). Как правило, используются операции логического умножения, логического сложения и отрицания, так как из них можно построить любую другую булеву операцию. Все нынешние компьютеры построены на двузначной логике. Примером машин с трёхзначной логикой были ЭВМ "Сетунь" и "Сетунь-70" (Н.П. Брусенцов, МГУ).Syn:Англо-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. > Boolean algebra
-
19 first-order
первопорядковый first-order phase transition ≈ физ. переход фазовый первого рода - first-order accuracy - first-order derivative - first-order design - first-order difference - first-order equation - first-order estimation - first-order filter - first-order hierarchy - first-order infinitesimal - first-order interaction - first-order jackknife - first-order language - first-order logic - first-order model - first-order oblateness - first-order predicate - first-order reaction - first-order sentence - first-order smoothing - first-order theor первого порядкаБольшой англо-русский и русско-английский словарь > first-order
-
20 term
1) термин2) матем. член3) терм; элемент; составляющая4) срок5) мн. ч. условия (напр. контракта)•-
absolute term
-
arithmetic term
-
Boolean term
-
boundary terms
-
conjugated term
-
error term
-
extreme term
-
free term
-
highest term
-
in-phase term
-
leading term
-
like terms
-
logical term
-
logic term
-
mixed-secular term
-
noise term
-
oscillating term
-
product term
-
quadrature term
-
remainder term
-
secular term
-
similar terms
-
term of equation
-
term of proportion
-
term of sum
-
unlike terms
- 1
- 2
См. также в других словарях:
Logic and the philosophy of mathematics in the nineteenth century — John Stillwell INTRODUCTION In its history of over two thousand years, mathematics has seldom been disturbed by philosophical disputes. Ever since Plato, who is said to have put the slogan ‘Let no one who is not a geometer enter here’ over the… … History of philosophy
Logic programming — is, in its broadest sense, the use of mathematical logic for computer programming. In this view of logic programming, which can be traced at least as far back as John McCarthy s [1958] advice taker proposal, logic is used as a purely declarative… … Wikipedia
Logic redundancy — occurs in a a digital gate network containing circuitry that does not affect the static logic function. There are several reasons why logic redundancy may exist. One reason is that it may have been added deliberately to suppress transient… … Wikipedia
logic, history of — Introduction the history of the discipline from its origins among the ancient Greeks to the present time. Origins of logic in the West Precursors of ancient logic There was a medieval tradition according to which the Greek philosopher … Universalium
Boolean algebra (logic) — For other uses, see Boolean algebra (disambiguation). Boolean algebra (or Boolean logic) is a logical calculus of truth values, developed by George Boole in the 1840s. It resembles the algebra of real numbers, but with the numeric operations of… … Wikipedia
Mathematical logic — (also known as symbolic logic) is a subfield of mathematics with close connections to foundations of mathematics, theoretical computer science and philosophical logic.[1] The field includes both the mathematical study of logic and the… … Wikipedia
History of logic — Philosophy ( … Wikipedia
Quantum logic — In mathematical physics and quantum mechanics, quantum logic is a set of rules for reasoning about propositions which takes the principles of quantum theory into account. This research area and its name originated in the 1936 paper by Garrett… … Wikipedia
Concurrent constraint logic programming — is a version of constraint logic programming aimed primarily at programming concurrent processes rather than (or in addition to) solving constraint satisfaction problems. Goals in constraint logic programming are evaluated concurrently; a… … Wikipedia
Laws of classical logic — The laws of classical logic are a small collection of fundamental sentences of propositional logic and Boolean algebra, from which may be derived all true sentences in both of these elementary formal systems.The syntax of the laws of classical… … Wikipedia
Dirac equation — Quantum field theory (Feynman diagram) … Wikipedia